Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: verify.rwth-aachen.de

Memory and Time Consumption of Java Bytecode Programs Laurent Hubert February 2006 1

Source URL: www.trebuh.net

Dynamic Compilation with Truffle Thomas Wuerthinger @thomaswue Oracle Labs

Source URL: vjovanov.github.io

• Cross-platform software
• Programming language implementation
• Compiler construction
• Java virtual machine
• Interpreter
• Graal
• Just-in-time compilation
• Bytecode
• Java
• Oracle Database
• Oracle Corporation
• Oracle machine

Towards Verification of Java Bytecode using Logic Programming Tools E. Albert1 , M. G´ omez-Zamalloa1 , L. Hubert2 , and G. Puebla2 1

Source URL: www.trebuh.net

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: verify.rwth-aachen.de

Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: verify.rwth-aachen.de

Implemen@ng  Ruby   Using  Truffle  and  Graal   Chris  Seaton  @ChrisGSeaton     ECOOP  Summer  Schools   2014  

Source URL: chrisseaton.com

• Computing
• Software
• Cross-platform software
• Graal
• Oracle Database
• Interpreter
• Java
• Oracle Corporation
• Oracle machine
• Bytecode

Aachen Department of Computer Science Technical Report Automated Termination Analysis of Java Bytecode by Term Rewriting

Source URL: verify.rwth-aachen.de

A Type System for Object Initialization In the Java Bytecode Language∗ TM Stephen N. Freund John C. Mitchell

Source URL: dept.cs.williams.edu